<?

echo "ciao mondo";

?>

